Wyniki
-
An absolute first order predicte calculus
Vladimir A. Smirnov
Bulletin of the Section of Logic , 2 /1 (1973) s. 38-43 -
Internal and external logic
Vladimir A. Smirnov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 170-181 -
Models of Cubic Theories
Sergey Sudoplatov
Bulletin of the Section of Logic , 43 /1-2 (2014) s. 19-34 -
A Note on Nuclei of Quantale Algebras
Sergey A. Solovyov
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 91-112 -
Admissible Equivalence Systems
Sergey Babenyshev, Manuel A. Martins
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 17-33